type theory-based method
类型理论为基的方法
热门查询
- Doran n. 多兰系统，多普勒测距系统
- enthrall vt. 迷住，使着迷
- regrettably adv. 遗憾地；抱歉地；可悲地
- lusciously a. 甘美的；满足感官的 (luscious的变形)
- anesthetist n. 麻醉师
- borate n. [无化][有化] 硼酸盐 vt. 用硼酸处理；使与硼酸混合
- switched v. 切换；转变；摆动（switch的过去分词） adj. 转换的
- communality n. 公社性；集体性；团结；[数] 公因子方差
- Nevin 内文（姓氏，男子名）
- upstroke n. 向上的一击；书写时向上的一笔；[机] 上行程；上行运动
- conditioned adj. 有条件的，受制约的；习惯于…的 v. 使适应（condition的过去分词）；以…为条件
- scout n. 搜索，侦察；侦察员；侦察机 vt. 侦察；跟踪，监视；发现 vi. 侦察；巡视；嘲笑
- biometric n. 计量生物学 adj. 生物计量的
- AE abbr. 行政帐户（account executive）；航空工程（Aeronautical Engineer）
- sentenced v. 判决；审判；宣判（sentence的过去式，过去分词）
- instinctively adv. 本能地
- ectoplasmic (灵媒在降神的恍惚状态中发出的)灵的外质，灵气 (细胞基质的)外质
- neurotoxin n. [生化] 神经毒素
- Freemantle [人名] [英格兰人姓氏] 弗里曼特尔 Fremantle的变体
- HT abbr. 夏威夷时间（Hawaiian Time）；装卸与运输（Handling and Transportation）
考试词汇表
- asperation biopsy
- asperges,Asperges
- aspergillomycosis
- aspergillopepsins
- aspergillus nigar
- aspergillus sojae
- aspergilus flavus
- asperula odoratas
- asphalt based oil
- asphalt converter
- asphalt disperser
- asphalt felt roof
- asphalt gear pump
- asphalt groutjing
- asphalt hardening
- asphalt operation
- asphalt oxidation
- asphalt reservior
- asphalt road oils
- asphalt seal coat
